Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
31	Journal of Automata, Languages and Combinatorics u (v) w, x–y Otto-von-Guericke-Universit¨ at Magdeburg Regular Expressions: New Results and Open Problems Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2011-06-09 07:59:48 Formal languages Number theory Integer sequences Summation Nondeterministic finite automaton Factorial Regular language Regular expression Combinatory logic Mathematics Automata theory Mathematical notation
32	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra
33	Journal of Articial Intelligence Research286 Submitted 10/14; publishedLazy Model Expansion: Interleaving Grounding with Search Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-02-25 01:32:20 Model theory Propositional calculus Logic programming Predicate logic Interpretation Philosophy of mind FO Literal Structure Mathematical logic Logic Mathematics
34	Journal of Artificial Intelligence Research533 Submitted 12/13; publishedImproving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions Add to Reading List Source URL: www.jair.org Language: English - Date: 2014-06-30 19:43:41 Problem solving Admissible heuristic Mathematical optimization Fluent Innovation Science Applied mathematics Heuristics Logic in computer science Artificial intelligence
35	The WAC Journal, Vol. 20: NovemberMath and Metaphor: Using Poetry to Teach College Mathematics patrick bahls university of north carolina, asheville Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-01-05 10:22:39 Mathematical logic Mathematical anxiety Language of mathematics Pi Infinity Precalculus Mathematical proof Calculus Propositional calculus Mathematics Philosophy of mathematics Mathematics education
36	Journal of Artificial Intelligence Research931 Submitted 01/05; publishedEngineering Note Optiplan: Unifying IP-based and Graph-based Planning Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:17:44 Theoretical computer science Automated planning and scheduling Logic in computer science Combinatorial optimization Linear programming Planning Domain Definition Language Fluent Constraint satisfaction CPLEX Mathematical optimization Operations research Mathematics
37	Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-02-21 08:17:51 Mathematical logic Proof theory Natural deduction Entailment Function Curry–Howard correspondence Orbifold Logic Mathematics Deduction
38	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
39	Journal of Macromarketing http://jmk.sagepub.com/ From Micro to Macro: Stakeholders and Institutions Stephen L. Vargo Journal of Macromarketing[removed]: 125 originally published online 9 March 2011 Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-12-23 01:52:53 Business Co-creation Strategic management Economics Market Mathematical logic Knowledge Stephen Vargo Service dominant logic Marketing Macromarketing
40	European Journal of Marketing Emerald Article: Market systems, stakeholders and value propositions: Toward a service-dominant logic-based theory of the market Stephen L. Vargo Article information: Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-12-23 01:52:53 Marketing Co-creation Interdisciplinary fields Macromarketing Market Mathematical logic Resource-based view Logic programming Logic Business Management Service dominant logic

UPDATE